About the globular homology of higher dimensional automata
نویسنده
چکیده
We introduce a new simplicial nerve of higher dimensional automata whose homology groups yield a new definition of the globular homology. With this new definition, the drawbacks noticed with the construction of [Gau99] disappear. Moreover the important morphisms which associate to every globe its corresponding branching area and merging area of execution paths become morphisms of simplicial sets.
منابع مشابه
Combinatorics of branchings in higher dimensional automata
We explore the combinatorial properties of the branching areas of paths in higher dimensional automata. Mathematically, this means that we investigate the combinatorics of the negative corner homology of a globular ω-category and the combinatorics of a new homology theory called the reduced negative corner homology. This latter is the homology of the quotient of the corner complex by the sub-co...
متن کاملTopological Deformation of Higher Dimensional Automata
A local po-space is a gluing of topological spaces which are equipped with a closed partial ordering representing the time flow. They are used as a formalization of higher dimensional automata (see for instance [6]) which model concurrent systems in computer science. It is known [11] that there are two distinct notions of deformation of higher dimensional automata, “spatial” and “temporal”, lea...
متن کاملThe branching nerve of HDA and the Kan condition
We have already seen that in reasonable situations, i.e. when the path ω-category associated to a higher dimensional automata (HDA) is an ω-groupoid, only the globular nerve satisfies the Kan condition. Indeed for the branching and merging nerves, this condition generally does not hold. This drawback is overcome here by introducing two new nerves (the left and right globular nerves) satisfying ...
متن کاملFrom Concurrency to Algebraic Topology
This paper is a survey of the new notions and results scattered in [13,11,12]. However the speculations of Section 5 and Section 6 are new. Starting from a formalization of higher dimensional automata (HDA) by strict globular ω-categories, the construction of a diagram of simplicial sets over the three-object small category − ← gl → + is exposed. Some of the properties discovered so far on the ...
متن کاملHomology of Higher Dimensional Automata
Higher dimensional automata can model concurrent computations. The topological structure of the higher dimensional automata determines certain properties of the concurrent computation. We introduce bi-complexes as an algebraic tool for describing these automata and develop a simple homology theory for higher dimensional automata. We then show how the homology of automata has applications in the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره math.CT/0002216 شماره
صفحات -
تاریخ انتشار 2000